1979年度ACMチューリング賞受賞記念講演 思考の道具としての表記法(1)